Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
281	UNIVERSITY OF CALIFORNIA Los Angeles Directed Testing of Event-Driven and Parallel Programs A dissertation submitted in partial satisfaction of Add to Reading List Source URL: www.mah-d.com Language: English - Date: 2014-06-17 17:25:18 Concurrency Deadlock Benchmark Lock Stack Algorithm Computer science Mathematics Concurrency control Computing Software bugs
282	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-31 13:13:10 Concurrency Diagrams Petri net Clock Applied mathematics Automata theory Models of computation Computer science
283	PDF Document Add to Reading List Source URL: www.cnaa.md Language: English - Date: 2013-07-09 06:32:21 Petri net 3D modeling Computer science Visual arts Software Models of computation Concurrency Diagrams
284	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-30 16:16:40 Applied mathematics Logic Formal sciences Automated theorem proving Formal verification Model checking Concurrency Mathematical logic Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
285	Explaining deadlock Before your customers can use our service, we give you an opportunity to sort out the dispute. You have up to eight weeks to do this. You do not have to wait for eight weeks to Add to Reading List Source URL: www.ombudsman-services.org Language: English - Date: 2012-03-05 10:47:00 Computer science Concurrency Deadlock Computing
286	DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism Hyojin Sung, Rakesh Komuravelli, and Sarita V. Adve Department of Computer Science University of Illinois at Urbana-Champaign {sung12, komurav1, sadve} Add to Reading List Source URL: rsim.cs.illinois.edu Language: English - Date: 2013-02-13 15:41:56 Concurrent computing Transaction processing Computer memory CPU cache Central processing unit MESI protocol Lock Cache Linearizability Computing Cache coherency Concurrency control
287	Specifying and Verifying Systems With TLA+ Leslie Lamport Microsoft Research John Matthews HP Labs Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Information Theoretical computer science Model checking Formal methods Temporal logic of actions Temporal logic Leslie Lamport Specification language Communications protocol Concurrency Computing Computer science
288	Wait-Free Computation in Message-Passing Systems: Preliminary Report Maurice P. Herlihy Mark R. Tuttle DEC Cambridge Research Lab One Kendall Square Cambridge, MA 02139 Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Linearizability Algorithm Computing Mathematics Computer science Cellular neural network Parallel Random Access Machine Concurrency control Parallel computing Stack
289	RA_39L_RedArrow_International_1-zeilig_neg Add to Reading List Source URL: www.redarrowinternational.tv Language: English - Date: 2012-07-11 09:44:40 Computer science Concurrency Deadlock Computing
290	Living with Concurrency Peter Grogono Computer Science and Software Engineering Concordia University Add to Reading List Source URL: cusec.net Language: English - Date: 2008-12-22 01:15:19 Electronic Delay Storage Automatic Calculator Java Software engineering C++ Programmer Software bug Canadian University Software Engineering Conference Computing Cross-platform software Maurice Wilkes

UPDATE